The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Dirk Beyer Books

Results for Dirk Beyer

Showing 1 to 8 of 8 results
Markovian Demand Inventory Models: 108 (International Series in Operations Research & Management Science, 108) Markovian Demand Inventory Models: 108 (International Series in Operations Research & Management Science, 108) by Dirk Beyer,Feng Cheng,Suresh P. Sethi,Michael Taksar

Markovian Demand Inventory Models: 108 (International Series in Operations Research & Management Science, 108)

by Dirk Beyer,Feng Cheng,Suresh P. Sethi,Michael Taksar


ISBN 13: 9780387716039

Format: Hardcover (275 pages)
Publisher: Springer
Published: 16 Oct 2009

Save for later

 
New : $156.64  
New : $156.64
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... 10806 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... 10806 (Lecture Notes in Computer Science) by Dirk Beyer, Marieke Huisman

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... 10806 (Lecture Notes in Computer Science)

by Dirk Beyer, Marieke Huisman


ISBN 13: 9783319899626

Format: Paperback (488 pages)
Publisher: Springer
Published: 14 Apr 2018

Save for later

 
New : $53.79  
New : $53.79
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Proceedi (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Proceedi (Lecture Notes in Computer Science) by Dirk Beyer, Marieke Huisman

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Proceedi (Lecture Notes in Computer Science)

by Dirk Beyer, Marieke Huisman


ISBN 13: 9783319899596

Format: Paperback (452 pages)
Publisher: Springer
Published: 12 Apr 2018

Save for later

 
New : $53.78  
New : $53.78
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science) by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen


ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

 
New : $53.69  
New : $53.69
Markovian Demand Inventory Models: 108 (International Series in Operations Research & Management Science) Markovian Demand Inventory Models: 108 (International Series in Operations Research & Management Science) by Dirk Beyer,Feng Cheng,Suresh P. Sethi,Michael Taksar

Markovian Demand Inventory Models: 108 (International Series in Operations Research & Management Science)

by Dirk Beyer,Feng Cheng,Suresh P. Sethi,Michael Taksar


ISBN 13: 9781461424666

Format: Paperback (276 pages)
Publisher: Springer
Published: 25 Feb 2012

Save for later

 
New : $127.55  
New : $127.55
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... Proc (Lecture Notes in Computer Science) Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... Proc (Lecture Notes in Computer Science) by Dirk Beyer,Michele Boreale

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... Proc (Lecture Notes in Computer Science)

by Dirk Beyer,Michele Boreale


ISBN 13: 9783642385919

Format: Paperback (336 pages)
Publisher: Springer
Published: 16 May 2013

Save for later

 
New : $75.45  
New : $75.45
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... 11823 (Lecture Notes in Computer Science) Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... 11823 (Lecture Notes in Computer Science) by Dirk Beyer, Chantal Keller

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... 11823 (Lecture Notes in Computer Science)

by Dirk Beyer, Chantal Keller


ISBN 13: 9783030311568

Format: Paperback (220 pages)
Publisher: Springer
Published: 11 Sep 2019

Save for later

 
New : $59.40  
New : $59.40
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... (Lecture Notes in Computer Science, 11990) Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... (Lecture Notes in Computer Science, 11990) by Dirk Beyer,Damien Zufferey

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... (Lecture Notes in Computer Science, 11990)

by Dirk Beyer,Damien Zufferey


ISBN 13: 9783030393212

Format: Paperback (485 pages)
Publisher: Springer
Published: 07 Feb 2020

Save for later

 
New : $82.40  
New : $82.40